//
// Created by 48194 on 24-10-29.
//

#include "redled.h"
#include "gpio.h"
#include "cmsis_os.h"
#include "stm32f4xx.h"

void task_red(void const * argument){
    for(;;)
    {
        HAL_GPIO_TogglePin(GPIOH,Red_Pin);

        osDelay(250);
    }
}